Banach fixed-point theorem

#incomplete

Compare:

• Brouwer fixed-point theorem

References:

1. https://en.wikipedia.org/wiki/Banach_fixed-point_theorem